-
1 metamathematical variable
Большой англо-русский и русско-английский словарь > metamathematical variable
-
2 metamathematical variable
Математика: метаматематическая переменнаяУниверсальный англо-русский словарь > metamathematical variable
-
3 metamathematical variable
English-Russian scientific dictionary > metamathematical variable
-
4 metamathematical
метаматематический - metamathematical argument - metamathematical consequence - metamathematical expression - metamathematical ideal - metamathematical notion - metamathematical operation - metamathematical polynomial - metamathematical predicate - metamathematical statement - metamathematical theor - metamathematical theorem - metamathematical variable МетаматематическоеБольшой англо-русский и русско-английский словарь > metamathematical
-
5 metamathematical
-
6 variable
1) переменная (величина) || переменный2) изменчивый3) изменяемый; варьируемый4) регулируемый•variable unrestricted in sign — переменная, не ограниченная в знаке
- absolutely integrable variable - anonymous free variable - complex free variable - complex random variable - discontinuous variable - discrete random variable - discrete variable variable - discrete variable - essentially free variable - excessive random variable - exchangeable random variables - generalized random variable - geometric random variable - infinitesimal random variable - jointly normal random variables - linguistic random variable - multinomial random variable - multinormal random variable - multiplicative random variable - mutually independent random variables - nonanticipative random variable - normed random variable - number variable - optimal stopping variable - orthonormal random variables - pairwise independent random variables - spatial variable - symmetrized random variable - two-state variable - two-valued variable - uniformly limited variableto separate variables — мат. разделять переменные
-
7 метаматематическая переменная
Большой англо-русский и русско-английский словарь > метаматематическая переменная
-
8 expression
-
9 polynomial
многочлен, полином || многочленный, полиномиальный- annulator polynomial - interpolation polynomial - polynomial of least deviation - polynomial of real numbersfirst-degree polynomial in f(x) — многочлен первой степени относительно функции f(x) и ее производных
-
10 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
11 statement
1) высказывание; утверждение2) предложение3) констатация4) описание5) положение6) постановка ( задачи)7) формулировка8) отчёт; бюллетень9) мат. оператор•- truth statementneither statement is true — ни то, ни другое утверждение неверно
См. также в других словарях:
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
T-norm fuzzy logics — are a family of non classical logics, informally delimited by having a semantics which takes the real unit interval [0, 1] for the system of truth values and functions called t norms for permissible interpretations of conjunction. They are mainly … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Thoralf Skolem — Infobox Scientist name = Thoralf Skolem birth date = birth date|1887|5|23|mf=y birth place = Sandsvaer, Buskerud, Norway residence = nationality = death date = death date and age|1963|3|23|1887|5|23|mf=y death place = Oslo, Norway field =… … Wikipedia
Tarski's axioms — Tarski s axioms, due to Alfred Tarski, are an axiom set for the substantial fragment of Euclidean geometry, called elementary, that is formulable in first order logic with identity, and requiring no set theory. Other modern axiomizations of… … Wikipedia
Algorithm characterizations — The word algorithm does not have a generally accepted definition. Researchers are actively working in formalizing this term. This article will present some of the characterizations of the notion of algorithm in more detail. This article is a… … Wikipedia